fmap f (alpha h) = alpha (f . h)